step(is,ls,tm(s,[ctxm(eta_,idp2,ip,ip_is,ip_is),ctxm(eta_,ls,ip,ip_ls,ip_ls)],pri(lst,[pri(lst,[ctxm(eta_,u,i_idp2_ls,il2,il2),ctxm(eta_,dot,n,ss(eta_,in),ss(eta_,cn))]),pri(sig,[pri(lst,[ctxm(eta_,u,i_idp2_ls,il2,il2),ctxm(eta_,dot,n,ss(eta_,in),ss(eta_,cn))]),ctxm(eta_,idp,kM,kM_is,kM_is)])]))).
